<?php
/**
 * Created by PhpStorm.
 * User: Administrator
 * Date: 2017/9/21
 * Time: 11:36
 */
$a = false;
if (isset($a)){
    echo "bbb";
    echo $a;
}